Ordering Strict Partial Orders to Model Behavioral Refinement

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Cyclic Ordering Through Partial Orders

The orientation problem for ternary cyclic order relations has been attacked in the literature from combinatorial perspectives, through rotations, and by connection with Petri nets. We propose here a two-fold characterization of orientable cyclic orders in terms of symmetries of partial orders as well as in terms of separating sets (cuts). The results are inspired by properties of non-sequentia...

متن کامل

Multicriteria Ordering and Ranking: Partial Orders, Ambiguities and Applied Issues

The paper deals in a preliminary way with the problem of the selection of a unique fuzzy preference relation from the set of fuzzy preference relations. A direct algorithm of possibilistic clustering is the basis of the method of fuzzy preference relation discriminating. A method of decision-making based on a fuzzy preference relation is described and basic concepts of the heuristic method of p...

متن کامل

Strict Isometries of Arbitray Orders

We consider the elementary operator L, acting on the Hilbert-Schmidt Class C2(H), given by L(T ) = ATB, with A and B bounded operators on a separable Hilbert space H. In this paper we establish results relating isometric properties of L with those of the defining symbols A and B. We also show that if A is a strict n−isometry on a Hilbert space H then {I, A∗A, (A∗)2A2, . . . , (A∗)n−1An−1} is a ...

متن کامل

Factorable Congruences and Strict Refinement

We show that universal algebras with factorable congruences such as rings with 1 and semirings with 0 and 1 enjoy some of the properties of universal algebras whose congruence lattices are distributive, such as the strict refinement property and a variant of Jónsson’s lemma. A universal algebra A is said to have factorable congruences if whenever A ∼= B × C and θ is a congruence on A, then θ = ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science

سال: 2018

ISSN: 2075-2180

DOI: 10.4204/eptcs.282.3